COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	1.	Abstract Syntax and Semantics of Programs with go to
C00008 ENDMK
C⊗;
1.	Abstract Syntax and Semantics of Programs with go to
2.	An Interesting LISP Function
3.	Applications of Circumscription to Formalizing Common Sense Knowledge
4.	Artificial Intelligence (Colliers Encyclopedia Article)
5.	Artificial Intelligence, Logic and Formalizing Common Sense
6.	Ascribing Mental Qualities to Machines
7.	Basis for a Mathematical Theory of Computation
8.	Common Business Communication Language
9.	Chess as the Drosophila of AI
10.	Circumscription - A Form of Non-Monotonic Reasoning
11.	Coloring Maps and the Kowalski Doctrine
12.	Contingency Planning for a Crash Program on Energy (Prospectus for
	  Conference)
13.	Computer with Hands, Eyes, and Ears
14.	Correctness of a Compiler for Arithmetic Expressions
15.	Criteria for Usefulness of Computers in Offices
16.	Effective Interactive Use of Large Character Sets
17.	Elephant 2000:  A Programming Language Based on Speech Acts
18.	Essays in Science and Technology
19.	Everywhere Continuous Nowhere Differentiable Function
20.	Extreme Conservation
21.	Epistemological Problems of AI
22.	Feasibility of Interstellar Travel
23.	Finite State Search Problems
24.	First Order Theories of Individual Concepts and Propositions
25.	First Signs of Solidarity in the Soviet Union
26.	Formalization of STRIPS in the Soviet Union
27.	Fruitfly on the Fly
28.	Generality in Artificial Intelligence
29.	Heidegger for Fun and Profit (Anthony Gottlieb)
30.	History of LISP
31.	Home Information Terminal
32.	Induction Principle for Cyclic List Structures and Graphs
33.	Inversion of Functions Defined by Turing Machines
34.	Little Thoughts of Thinking Machines
35.	Making Machines Act Like Minds
36.	Mathematical Logic in Artificial Intelligence
37.	Measures of the Value of Information
38.	Method for the Calculation of Limit Cycles by Successive Approximation
39.	Modeling Change - The Frame Problem
40.	Networks Considered Harmful - For Electronic Mail
41.	Normal Form for Monadic Formulas
42.	Old and New Models of the Computerized World of the Future
43.	On the Model Theory of Knowledge
44.	Predicate Calculus with Undefined as a Truth Value
45.	Programs with Common Sense
46.	Properties of Programs and Partial Function Logic
47.	The Question of Artificial Intelligence
48.	Queue-based Multi-processing Lisp
49.	Recursive Functions of Symbolic Expressions and Their Computation 
	  by Machine, Part 1
50.	Review of Bloomfield Book (The Question of Artificial Intelligence: 
	  Philosophical and Spciological Perspectives 
51.	Review of Dyson (Learning to Live with the Bomb)
52.	Review of Feigenbaum (The Fifth Generation: AI and Japan's Computer
	  Challenge to the World
53.	Review of Penrose (The Emperor's New Mind)
54.	Review by Stanford (The Stanford Library - CIV-Western Culture)
55.	Review of Weizenbaum book (An Unreasonaale Book)
56.	Science and Technical Opinion
57.	Some Expert Systems Need Common Sense
58.	Some Philosophical Problems from the Standpoint of Artificial Intelligence
59.	Stability of Invariant Manifolds
60.	Stanford Timesharing System
61.	Terms for Soviet Access to Western Computer Technology
62.	Time-sharing Computer Systems
63.	Time-sharing Debugging System for a Small Computer
64.	Time Sharing Operator Program for our Projected IBM 709
65.	Towards a Mathematical Science of Computation
66.	What Should the Doctor Do?
67.	Une bibliotheque pour la cite Terre